Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
261	WESTERN WASHINGTON OPEN DIRECTORS ROBERT MAUPIN (BOB) & LARRY WEST [removed] [removed] E-MAIL[removed]WWOCribb Add to Reading List Source URL: www.cribbage.org Language: English - Date: 2012-08-24 02:14:00 Poulsbo Washington Software engineering Cons Declarative programming Maupin Computer programming
262	Andreas Abecker, Harold Boley, Knut Hinkelmann, Holger Wache, and Franz Schmalhofer An Environment for Exploring and Validating Declarative Knowledge Technical Memo Add to Reading List Source URL: scidok.sulb.uni-saarland.de Language: English - Date: 2012-02-16 07:05:23 Ethology Knowledge Reasoning German Research Centre for Artificial Intelligence Technical communication Knowledge representation and reasoning Logic programming Data mining Machine learning Science Programming paradigms Scientific modeling
263	The Why of Y Richard P. Gabriel Lucid, Inc. and Stanford University Did you ever wonder how Y works and how anyone could ever have thought of it? In this note I’ll try to explain to you not only how it works, but how s Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 16:00:09 Declarative programming Fixed-point combinator Closure Function Combinatory logic Currying Factorial Binary lambda calculus Mathematics Lambda calculus Software engineering
264	Preprint version. A Pattern for Almost Compositional Functions Bj¨orn Bringert Aarne Ranta Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2006-07-27 18:53:27 Computing Data types Functional programming Monad Pattern matching Generic programming Generalized algebraic data type Algebraic data type Type system Software engineering Declarative programming Type theory
265	STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Proving the Correctness of Functional Programs using Mizar Yatsuka Nakamura Shinshu University Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Higher-order functions Recursion Map Function First-order logic Functor Fold Mizar system Sheaf Software engineering Computing Declarative programming
266	[Faculty of Science Information and Computing Sciences] Generic programming with fixed points for mutually recursive datatypes Andres L¨oh Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Higher-order functions Functional programming Recursion Functional languages Generic programming Map Catamorphism Expr Haskell Software engineering Computing Declarative programming
267	Automated Whitebox Fuzz Testing Patrice Godefroid Microsoft (Research) [removed] Michael Y. Levin Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-01-04 20:00:25 Declarative programming Formal methods Fuzz testing Symbolic execution KeY Constraint satisfaction problem Concolic testing Test Data Generation Software testing Constraint programming Software engineering
268	CATS 2004 Preliminary Version Typed Transformations of Typed Grammars: The Left Corner Transform Arthur Baars 1 Instituto Tecnol´ Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2010-11-06 19:03:36 Computing Generalized algebraic data type Left recursion Production Formal grammar Type system Monad Top-down parsing Combinatory logic Formal languages Software engineering Declarative programming
269	A Shortcut Fusion Rule for Circular Program Calculation Jo˜ao Paulo Fernandes ∗ Alberto Pardo Jo˜ao Saraiva Add to Reading List Source URL: www.fing.edu.uy Language: English - Date: 2007-07-31 11:45:54 Higher-order functions Map Tree traversal Continuous function Fold Anamorphism Monad Software engineering Declarative programming Computing
270	Ivor, a Proof Engine Edwin Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed]. Tel: +[removed], Fax: +[removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2007-02-05 08:12:08 Functional languages Type theory Lambda calculus Logic in computer science Functional programming Combinatory logic Fixed-point combinator Dependent type Monad Software engineering Declarative programming Theoretical computer science

UPDATE